//package br.cin.ufpe.rabbit;
//
//import gov.nasa.jpf.jvm.ThreadInfo;
//
//import java.util.LinkedList;
//import java.util.Queue;
//import java.util.Stack;
//
//import br.cin.ufpe.Yoshi.YoshiMethodAnalizer.MethodOp;
//import br.cin.ufpe.Yoshi.YoshiMethodAnalizer.OpType;
//
//public class RabbitUtil {
//
//	public static LinkedList<String> getCallTrace(ThreadInfo ti){
//		MethodOp temp = YoshiMethodAnalizer.lastTransition;
//		
//		LinkedList<String> stackTrace = new LinkedList<String>();
//		
//		
//		while(temp != null){
//			if(!temp.ti.getName().equals(ti.getName())){
//				temp = temp.prevTransition;
//				continue;
//			}
//			
//			if(temp.mi.getName().contains("init")){
//				
//			}else if (temp.type == OpType.RETURN){
//				stackTrace.addFirst(YoshiConfig.ReturnMethodString);
//			}else{
//				stackTrace.addFirst(temp.info.replace(".","_"));
//			}
//			temp = temp.prevTransition;
//		}
//		
//		if(!ti.getName().equals("main")){
//			stackTrace.push((ti.getClassInfo().getName()+"."+"run").replace(".","_"));
//		}
//		
//	//	lastTransition.p = null;
//		return stackTrace;		
//	}
//}
